int in python shorts